航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

利用微波探测仪(ATMS)对在轨微波辐射计观测精度的模拟分析

微波辐射计的观测精度及其对数值模式同化应用的影响评估是微波辐射计观测指标设计的重要参考。基于微波探测仪(ATMS)资料,利用三维变分同化系统模拟分析在轨微波辐射计的观测精度指标。针对ATMS观测误差特征,在其观测基础上增加均值为零、标准偏差分别为0.5,1.0,1.5,2.0K的正态随机扰动,进而获得不同精度的观测模拟值序列,然后利用Harris和Kelley的辐射资料偏差订正经验方法订正不同精度的观测资料。偏差订正后,利用三维变分同化模式(WRFDA)直接同化ATMS资料。通过2016年6月6h预报场的同化试验,评估了不同观测精度的模拟资料对数值模式的同化影响。     

对策论在雷达电子战效能评估中的应用

介绍了对策论的基本内容和分析方法,包括对策论所涉及问题的要素和分类.指出了对策论在雷达电子战效能评估中应用的可行性和必要性.分析了电子对抗博弈双方采取不同对抗技术措施的得益矩阵,并在此得益矩阵的基础上,重点研究了对策论在电子对抗效能评估过程中的应用.     

Sustained data recording system based on disk array

Most sustained data recording systems in many real-time fields are based on tape equipments. We have developed an innovative sustained data recording system based on disk array which consists of Array Controller Module (ACM), String Controller Module (SCM) and Main Controller Module (MCM). This system has a better performance and higher reliability than the traditional tape recorder and can be used conveniently in many areas of data recording, storing, playback, and remote backup. This novel recording system has been used in radar data recorder for spacecraft orbit tracking and satellite remote sensing data recording successfully.     

光栅信号时钟脉冲细分的误差分析

简介时钟脉冲细分技术的原理，着重分析其细分误差因素，给出了计算实际最大细分数的理论公式，并论述了光栅最大运动速度、时钟脉冲分频数和实际最大细分数之间的关系，对光栅信号时钟脉冲细分系统的参数设计具有指导意义。     

关于Salomon假设的研究综述

高速切削技术在航空航天工业中应用广泛,取得了巨大的经济效益.Salomon假设作为金属切削领域一个著名的科学猜想,被认为是高速切削技术的发端.本文讨论了Salomon假设的起源,从理论研究、仿真分析和实验验证等方面总结了历史上学者对Salomon假设的研究成果,论述了Salomon假设的工程实践意义.结论认为Salomon假设实际上并未证实,其关于温度变化的假设成立与否应该取决于对切削温度的确切定义,而关于刀具磨损的假设已基本可以否定.最后展望了Salomon假设的未来研究趋势.     

无铅焊接在电路板接线柱的应用

利用无铅焊料具有较高熔点的温度特性,选用无铅焊料对电路板接线柱焊接,避免在接线柱上焊接导线时电路板焊点易受热熔化,接线柱产生下陷、歪斜等问题。通过可焊性、绝缘电阻测试、氯离子浓度检测、高低温实验、焊点拉脱力测试、振动试验等,介绍了无铅焊接在这种电路板接线柱应用中的各项工艺参数、手工焊接工具及无铅焊料的选择。     

滑阀稳态液动力的计算和分析

以液氧/煤油补燃循环火箭发动机中流量调节器中滑阀为例,介绍了滑阀稳态液动力的一种计算方法,分析了不同结构参数下稳态液动力的变化规律,得出了滑阀的稳态液动力与滑阀位移、液流出口处的流道形状以及刃边厚度关系的一些初步结论。     

基于多相正交序列移位序列的CDMA通信系统

介绍多相正交序列的构造方法,对多相正交序列的自相关和互相关特性进行分析。提出采用多相正交序 列的移位序列作为扩频序列的通信方式,并给出接收端序列同步的实现方法。这种方式能解决低相数多相正交序列互 相关特性不理想,而高相数多相正交序列难以搜索的困难。     

H-6部件与外挂天平的研制

介绍了H 6部件与外扌圭物测力试验的难点 :一是天平的设计载荷极不匹配 ,如机翼天平的滚转力矩是常规天平的 1 0多倍 ;二是模型尾部是船形尾段。采用常规的支撑方式 ,支杆强度太弱 ,试验不安全 ,同时也不利于多台天平的敷线 ,总体方案采用模型尾部与支杆合为一体的结构形式 ,既保证了试验安全又便于多台天平的敷线。天平设计首先保证试验安全 ,用双电桥提高天平的输出。试验结果表明 :总体试验方案正确 ,天平设计合理 ,支撑刚度好 ,测量精度高。